Purpose: Automation of control systems for life support and service processes at infrastructure facilities passenger complex, in the single informational space, through digital platforms. Methods: The work uses experimental-theoretical level methods: cause-and-effect relationships, algorithmization, flowcharts others. Results: Practical recommendations transition from manual (personalized) labo...

By taking the super-long railway tunnel as the object of research, based on setting problems of emergency stations adopted by super-long railway tunnels, from the viewpoint of people's safe evacuation, several aspects were studied, such as the mode of evacuation and rescue by adopting emergency station, the number and interval of the cross passage, and the people's safe evacuation time under di...

Railway scheduling is a complex task of rail operators that involves the generation of a conflict-free train timetable. This paper presents a discrete-event simulation-based optimization approach for solving the train timetabling problem to minimize total weighted unplanned stop time in a hybrid single and double track railway networks. The designed simulation model is used as a platform for ge...

The problem of control and management of railway transportation is a complex task with major outcomes in a modern society. Trains are suitable for transporting peoples and goods with a good trade-off between cost and rapidity. A railway system consists of a network of tracks, list of stations, safety devices (signals, sensors, etc) and a set of trains. Trains moves from one station to other alo...

People around the globe recognise that the current development trends are clearly unsustainable and that education can be seen as a critical tool for advancing our society towards sustainability. This paper showcases a case study for ‘Envisioning a sustainable Guwahati Railway Station Complex of the future’ undertaken by students of the Department of Design at the Indian Institute of Technology...

In the railway station signal system, the route searching algorithm is an important software module to realize the function safety of this system. In the paper, the ant colony algorithm is applied to the railway station route searching. Take the specific station route-the Wangzhai Station route for example to search the shortest route. The ideas of the Wangzhai Station route searching are put f...

In this paper, we describe the problem of routing trains through a railway station. This routing problem is a subproblem of the automatic generation of timetables for the Dutch railway system. The problem of routing trains through a railway station is the problem of assigning each of the involved trains to a route through the railway station, given the detailed layout of the railway network wit...

Railway designs deal with complex and large-scale, safety-critical infrastructures, where formal methods play an important role, especially in verifying the safety of so-called interlockings through model checking. Model checking deals with state change and rather complex properties, usually incurring considerable computational burden (chiefly in terms of memory, known as state-space explosion ...